Computing Constant-Curvature Metrics for Hyperbolic 3-Manifolds with Boundaries Using Truncated Tetrahedral Meshes

Every surface in the Euclidean space R3 admits a canonical Riemannian metric that has constant Gaussian curvature and is conformal to the original metric. Similarly, 3manifolds can be decomposed into pieces that admit canonical metrics. Such metrics not only have theoretical significance in 3-manifold geometry and topology, but also have potential applications to practical problems in engineering fields such as shape classification. In this paper we present an algorithm that is based on a discrete curvature flow to compute constant curvature metrics on 3-manifolds that are hyperbolic and have boundaries of a certain type. We also provide an approach to visualize such a metric by embedding the fundamental domain and universal covering in the hyperbolic space H3. Some experimental results are given for both algorithms. Furthermore, we propose an algorithm to automatically construct truncated tetrahedral meshes for 3-manifolds with boundaries. It can not only generate inputs to the curvature flow algorithm, but could also serve as an automatic tool for geometers and topologists to build simple models for complicated 3-manifolds, and therefore facilitate